results for Dual Modular Redundancy